19

On the Expressive Power of Klaim-based Calculi

Year:
2005
Language:
english
File:
PDF, 283 KB
english, 2005
21

Confining data and processes in global computing applications

Year:
2006
Language:
english
File:
PDF, 587 KB
english, 2006
22

Global computing in a dynamic network of tuple spaces

Year:
2007
Language:
english
File:
PDF, 405 KB
english, 2007
23

On the expressive power of KLAIM-based calculi

Year:
2006
Language:
english
File:
PDF, 492 KB
english, 2006
24

Divergence in testing and readiness semantics

Year:
2001
Language:
english
File:
PDF, 125 KB
english, 2001
25

Types for access control

Year:
2000
Language:
english
File:
PDF, 265 KB
english, 2000
26

Linda-based applicative and imperative process algebras

Year:
2000
Language:
english
File:
PDF, 323 KB
english, 2000
28

Vandermonde matrices on integer nodes: the rectangular case

Year:
2001
Language:
english
File:
PDF, 110 KB
english, 2001
33

Trace and Testing Equivalence on Asynchronous Processes

Year:
2002
Language:
english
File:
PDF, 205 KB
english, 2002
34

Basic observables for a calculus for global computing

Year:
2007
Language:
english
File:
PDF, 840 KB
english, 2007
44

Proof Techniques for Cryptographic Processes

Year:
2001
Language:
english
File:
PDF, 458 KB
english, 2001
45

X-Klaim and Klava: Programming Mobile Code

Year:
2002
Language:
english
File:
PDF, 161 KB
english, 2002